Carolyn Talcott (eds.): tražiti na sajtu Z-Library

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

Slobodan pristup znanju i kulturi.

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024

Z-Library je jednja od najvećih online biblioteka koja sadrži više od 17,000,000 knjiga i 84,837,000 članaka. Naš je cilj da literatura bude dostupna svakome. Danas (15. septembra 2024) smo započeli dodatno prikupljanje sredstava za podršku i razvoj projekta.

Takođe NEOGRANIČENA preuzimanja (na 31 dan od dana doniranja) biće dostupna SVIM korisnicima ko je fonirao tokom perioda prikupljanja sredstava do 1. oktobra 2024.

O prikupljanju novcaDetaljnije

Knjige (7)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

A K Peters/CRC Press

Sieg, Wilfried, Sommer, Richard, Talcott, Carolyn L et al. (eds.)

Godina:

2002

Jezik:

english

Fajl:

DJVU, 4.62 MB

0 / 0

english, 2002

2

Coordination Models and Languages: 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings

Coordination Models and Languages: 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Perdita Stevens (auth.), Farhad Arbab, Carolyn Talcott (eds.)

Godina:

2002

Jezik:

english

Fajl:

PDF, 4.04 MB

0 / 0

english, 2002

3

Composing Model-Based Analysis Tools

Composing Model-Based Analysis Tools

Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler, (eds.)

Godina:

2021

Jezik:

english

Fajl:

PDF, 10.01 MB

0 / 5.0

english, 2021

4

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Springer International Publishing

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott (eds.)

Godina:

2015

Jezik:

english

Fajl:

PDF, 17.75 MB

0 / 0

english, 2015

5

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Scott F. Smith, Carolyn L. Talcott (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 14.70 MB

0 / 0

english, 2000

6

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

Godina:

2002

Jezik:

english

Fajl:

PDF, 4.34 MB

0 / 0

english, 2002

7

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

Godina:

2002

Jezik:

english

Fajl:

PDF, 5.85 MB

0 / 0

english, 2002